locally compact

局部紧致